Abstract logic - PDFSEARCH.IO - Document Search Engine

Abstract logic
Results: 1693

#	Item
781	Self-Reconfigurable Parallel Processor Made From Regularly-Connected Self-Dual Code/Data Processing Cells US Patent #5,886,537 Nicholas J. Macias, Lawrence B. Henry III and Murali Dandu Raju Abstract: A parallel processi Add to Reading List Source URL: www.cellmatrix.com Language: English - Date: 1999-11-23 00:24:12 Digital electronics Computer hardware Digital circuits Flip-flop Shift register Programmable logic device Field-programmable gate array Logic gate Counter Electronic engineering Computer memory Electronics
782	Energy-Efficient Hybrid Wakeup Logic Michael Huang, Jose Renau, and Josep Torrellas Department of Computer Science University of Illinois at Urbana-Champaign http://iacoma.cs.uiuc.edu ABSTRACT Add to Reading List Source URL: iacoma.cs.uiuc.edu Language: English - Date: 2002-07-31 19:49:18 Parallel computing Classes of computers Central processing unit Superscalar Branch predictor Reduced instruction set computing Instruction set Very long instruction word Microarchitecture Computer architecture Computing Computer hardware
783	Language Games, Natural and Artificial John F. Sowa VivoMind Research, LLC Abstract. Natural languages are the ultimate knowledge representation languages. Everything that can be expressed in any artificial language or n Add to Reading List Source URL: www.jfsowa.com Language: English - Date: 2014-10-20 09:58:49 Semantics Philosophical logic Philosophy of language Meaning Logicians Intensional logic Tractatus Logico-Philosophicus Formal semantics Ludwig Wittgenstein Logic Philosophy Analytic philosophy
784	Conceptual Graphs For Representing Conceptual Structures John F. Sowa VivoMind Intelligence Abstract. A conceptual graph (CG) is a graph representation for logic based on the semantic networks of artificial intelligence Add to Reading List Source URL: www.jfsowa.com Language: English - Date: 2009-09-22 13:18:55 Philosophical logic Mathematical logic Predicate logic Knowledge representation Conceptual graph Existential graph Quantification Charles Sanders Peirce bibliography First-order logic Logic Science Mathematics
785	Declarative Representation of Proof Terms Claudio Sacerdoti Coen? Department of Computer Science, University of Bologna [removed] Abstract. We present a declarative language inspired by the pseudonatural lang Add to Reading List Source URL: www.cs.unibo.it Language: English - Date: 2008-10-31 05:51:56 Proof theory Entailment Symbol Structure Logic Deduction Natural deduction
786	Biological and Psycholinguistic Influences On Architectures for Natural Language Processing John F. Sowa VivoMind Research, LLC Abstract. Systems for natural language processing (NLP) are based on some linguistic theory Add to Reading List Source URL: www.jfsowa.com Language: English - Date: 2010-11-28 11:11:32 Knowledge Charles Sanders Peirce Philosophical logic Philosophy of science Conceptual graph Existential graph Semantic network John F. Sowa Charles Sanders Peirce bibliography Science Logic Knowledge representation
787	The Kind Membership Theory of Reference Fixing for Proper Names* Eduardo García-Ramírez Instituto de Investigaciones Filosóficas, UNAM [removed] Abstract Add to Reading List Source URL: www.filosoficas.unam.mx Language: English - Date: 2015-03-04 12:48:28 Names Meaning Reference Philosophical logic Gareth Evans Proper name Sense and reference Causality Epistemology Analytic philosophy Philosophy of language Philosophy
788	Wei Dai’s Updateless Decision Theory Tyrrell McAllister Abstract Wei Dai developed an approach to decision theory called Updateless Decision Theory (UDT). This note describes two versions, both due to Add to Reading List Source URL: dl.dropboxusercontent.com Language: English Algorithm Mathematical logic Function PP Mathematics Theoretical computer science Applied mathematics
789	Termination Casts: A Flexible Approach to Termination with General Recursion Vilhelm Sj¨oberg Computer and Information Science University of Pennsylvania Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:25 Proof theory Deduction Curry–Howard correspondence Logic in computer science Philosophy of computer science Type theory Entailment Valuation Branch point Logic Abstract algebra Mathematics
790	Integrated Algebra Regents Exam Bimodal Questions Worksheet # 1 Name: ________________________ www.jmap.org Integrated Algebra Regents Bimodal Worksheets 1 The local ice cream stand offers three flavors of soft-serve ice Add to Reading List Source URL: www.jmap.org Language: English - Date: 2015-01-24 22:52:56 Equations Abstract algebra Algebraic logic Simultaneous equations Differential equation Expression Boolean algebra Polynomial Algebra Mathematics Elementary algebra

UPDATE